$\forall$$k$:Knd. islocal($k$) $\sim$ $\neg_{2}$isrcv($k$)